mu (eta (), x) = x
mu (x, eta ()) = x